\documentclass{article}
\usepackage{xeCJK}
\usepackage{amsmath}
\title{离散数学作业(习题一T1,2)}
\author{2020141460280张家帅}

\begin{document}
\maketitle
\section{习题一}
\subsection{}
\subsubsection{}
设命题\par
$P$：他是本片的编剧\par
$Q$：他是本片的导演\par
本句可符号化为$P\wedge Q$
\subsubsection{}
设命题\par
$P$：银行利率降低\par
$Q$：股价上扬\par
本句可符号化为$P\rightarrow Q$
\subsubsection{}
设命题\par
$P$：银行利率降低\par
$Q$：股价上扬\par
本句可符号化为$P\wedge \neg Q$
\subsubsection{}
设命题\par
$P$：占据空间的对象称为物质\par
$Q$：有质量的对象称为物质\par
$R$：不断变化的对象称为物质\par
本句可符号化为$P\wedge Q\wedge R$
\subsubsection{}
设命题\par
$P$：他今天乘火车去了北京\par
$Q$：他随旅行团去了九寨沟\par
本句可符号化为$P\bigtriangledown Q$
\subsubsection{}
设命题\par
$P$：小张身体单薄\par
$Q$：小张极少生病\par
$R$：小张头脑好使\par
本句可符号化为$P\wedge Q\wedge R$
\subsubsection{}
设命题\par
$P$：身在此山中\par
$Q$：不识庐山真面目\par
本句可符号化为$P\rightarrow Q$
\subsubsection{}
设命题\par
$P$：两个三角形相似\par
$Q$：两个三角形对应角相等\par
$R$：两个三角形对应边成比例\par
本句可符号化为$P\leftrightarrow (Q\vee R)$
\subsubsection{}
设命题\par
$P$：一个整数能被6整除\par
$Q$：一个整数能被2和三整除\par
$R$：一个整数能被3整除\par
$S$：一个整数的各位数字之和能被3整除\par
本句可符号化为$P\rightarrow Q, R\rightarrow S$

\subsection{}
\subsubsection{}
不是命题
\subsubsection{}
不是命题
\subsubsection{}
不是命题
\subsubsection{}
是命题，取值为$F$
\subsubsection{}
不是命题
\subsubsection{}
是命题，取值为$T$
\subsubsection{}
是命题，取值为$F$
\subsubsection{}
是命题，取值为$T$
\end{document}
